machine timing

The double semicolons inform an Itanium assembler that we have not analyzed potential timing interdependencies among the machine instructions. — Двойная точка с запятой говорит ассемблеру ЦП Itanium о том, что анализировать потенциальные временные взаимозависимости между указанными машинными командами не следует см. тж. double semicolon

as time goes by o passes — a medida que pasa el tiempo, con el paso or el correr del tiempo

at this point o moment in time — en este momento, en el momento presente

time and tide wait for no man — el tiempo pasa inexorablemente; (before n) < travel> en el tiempo

time machine — máquina f del tiempo

to make time for something — hacer(se)* or encontrar* tiempo para algo

to make time — ( hurry) (AmE colloq) darse* prisa, apurarse (AmL)

it takes time to get used to the climate — lleva or toma tiempo acostumbrarse al clima

to take one's time: just take your time tómate todo el tiempo que necesites or quieras; you took your time! cómo has tardado!; to buy time ganar tiempo; to have a lot of/no time for somebody/something: I have no time for people like her no soporto a la gente como ella; I've got a lot of time for him me cae muy bien; to have time on one's hands: I had time on my hands me sobraba el tiempo; to play for time — tratar de ganar tiempo

they lived in Paris for a time/for a long time — vivieron un tiempo/mucho tiempo or muchos años en París

long time no see! — (colloq) tanto tiempo (sin verte)!

for some considerable time o for quite some time now there have been rumors that... — hace ya bastante tiempo que se rumorea que...

cooking time — tiempo m de cocción

your time's up — se te (or les etc) ha acabado el tiempo

to serve o (colloq) do time — cumplir una condena, estar* a la sombra (fam)

all the time — ( constantly) constantemente; ( the whole period) todo el tiempo

in time — ( early enough) a tiempo; ( eventually) con el tiempo

in no time (at all) — rapidísimo, en un abrir y cerrar de ojos, en un santiamén

what's your fastest time over 400m? — ¿cuál es tu mejor tiempo or marca en los 400 metros?

to take o (BrE also) have time off — tomarse tiempo libre

at one time — en una época or un tiempo, en otros tiempos

in times of crisis — en épocas or tiempos de crisis

there was a time when o time was when... — hubo un tiempo cuando...

to be ahead of one's time: he's ahead/he was ahead of his time se ha adelantado/se adelantó a su época; to be behind the times \<\<ideas\>\> ser* anticuado, estar* desfasado; \<\<person\>\> estar* atrasado de noticias (fam); to keep up with o abreast of the times — mantenerse* al día

that was before your time — eso fue antes de que tú nacieras (or empezaras a trabajar aquí etc)

the time is ten minutes to ten — son las diez menos diez minutos, son diez para las diez (AmL exc RPl)

to be able to tell the time o (AmE also) tell time — saber* (decir) la hora

British Summer Time — horario m de verano

Eastern Standard Time — ( in US) hora f de la costa atlántica

not to give somebody the time of day — no darle* a algn ni la hora

to pass the time of day (with somebody): now she never even passes the time of day with me ahora ni siquiera me saluda; we passed the time of day charlamos un ratito; (before n) time switch temporizador m; time zone — huso m horario

time FOR something/to + INF: we have to arrange a time for the next meeting tenemos que fijar una fecha y hora para la próxima reunión; is it time to go yet? ¿ya es hora de irse?; it's time you left o you were leaving es hora de que te vayas; at breakfast time — a la hora del desayuno

by that o this time we were really worried — para entonces ya estábamos preocupadísimos

it's high time somebody did something — ya es hora or ya va siendo hora de que alguien haga algo

to die before one's time — morir* tempranamente or prematuramente

I've been there many a time o many times — he estado allí en numerosas ocasiones or muchas veces

let's leave it for another o some other time — dejémoslo para otro momento

you paid (the) last time — la última vez or la otra vez pagaste tú

let's try one more time — probemos otra vez or una vez más

about time: it's about time someone told him ya es hora or ya va siendo hora de que alguien se lo diga; I've finished - and about time too! he terminado - ya era hora!; ahead of time: the first stage was completed ahead of time la primera fase se terminó antes de tiempo; any time: come any time ven cuando quieras or en cualquier momento; call me any time between nine and eleven llámame a cualquier hora entre las nueve y las once; I'd rather work for Mary any time yo prefiero trabajar para Mary, toda la vida (y cien años más); they should be here any time (now) en cualquier momento llegan, deben de estar por llegar de un momento al otro; at a time: four at a time de cuatro en cuatro or (AmL tb) de a cuatro; one at a time! de a uno!, uno por uno! or uno por vez!; I can only do one thing at a time sólo puedo hacer una cosa a la or por vez; for months at a time durante meses enteros; at the same time ( simultaneously) al mismo tiempo; ( however) (as linker) al mismo tiempo, de todas formas; at times a veces; at this time (AmE) ahora, en este momento; every time: I make the same mistake every time! siempre cometo el mismo error!; gin or whisky? - give me whisky every time! ¿ginebra or whisky? - para mí whisky, toda la vida; every o each time (as conj) ( whenever) cada vez; from time to time de vez en cuando; on time ( on schedule): the buses hardly ever run on time los autobuses casi nunca pasan a su hora or puntualmente; she's never on time nunca llega temprano, siempre llega tarde; time after time o time and (time) again — una y otra vez

have a good time! — que te diviertas (or que se diviertan etc)!, que lo pases (or pasen etc) bien!

don't give me a hard time — (esp AmE) no me mortifiques

to mark time — ( march on the spot) marcar* el paso; ( make no progress) hacer* tiempo; (before n)

time signature — llave f de tiempo

it's four times bigger — es cuatro veces más grande; (before n)

times table — tabla f de multiplicar

as time goes on or by — con el (paso del) tiempo, a medida que pasa/pasaba el tiempo

• race against time — carrera f contra (el) reloj

• for all time — para siempre

• Father Time — el Tiempo

• to find (the) time for sth — encontrar tiempo para algo

• time flies — el tiempo vuela

• to gain time — ganar tiempo

• half the time he's drunk — la mayor parte del tiempo está borracho

• to have (the) time (to do sth) — tener tiempo (para hacer algo)

• to make time — (US) * ganar tiempo, apresurarse

• to make up for lost time — recuperar el tiempo perdido

• it's only a matter or question of time before it falls — solo es cuestión de tiempo antes de que caiga

• I've no time for him — (too busy) no tengo tiempo para él; (contemptuous) no le aguanto

• my time is my own — yo dispongo de mi tiempo

• time presses — el tiempo apremia

• time is on our side — el tiempo obra a nuestro favor

• time and space — el tiempo y el espacio

• to take time, it takes time — requiere tiempo, lleva su tiempo

you certainly took your time! — iro ¡no es precisamente que te mataras corriendo!

• (only) time will tell — el tiempo lo dirá

• have you been here all this time? — ¿has estado aquí todo este tiempo?

• for the time being — por ahora, de momento

• for a time — durante un rato; (longer) durante una temporada

• a long time — mucho tiempo

• in no time at all — en un abrir y cerrar de ojos

• it will last our time — durará lo que nosotros

• a short time — poco tiempo, un rato

• for some time past — de algún tiempo a esta parte

• in a week's time — dentro de una semana

• on Saturdays they pay time and a half — los sábados pagan lo normal más la mitad

• he did it in his own time — lo hizo en su tiempo libre or fuera de (las) horas de trabajo

• to be on short time, work short time — trabajar en jornadas reducidas

• about time too! — ¡ya era hora!

• come (at) any time (you like) — ven cuando quieras

it might happen (at) any time — podría ocurrir de un momento a otro or en cualquier momento

• at times — a veces, a ratos

• to die before one's time — morir temprano

• between times — en los intervalos

• by the time he arrived — para cuando él llegó

• to choose one's time carefully — elegir con cuidado el momento más propicio

• the time has come to leave — ha llegado el momento de irse

• at a convenient time — en un momento oportuno

• at any given time — en cualquier momento dado

• her time was drawing near — (to give birth) se acercaba el momento de dar a luz; (to die) estaba llegando al final de su vida

• it's high time you got a job — ya va siendo hora de que consigas un trabajo

• at my time of life — a mi edad, con los años que yo tengo

• at no time did I mention it — no lo mencioné en ningún momento

• now is the time to go — ahora es el momento de irse

• at odd times — (=occasionally) de vez en cuando

• from that time on — a partir de entonces, desde entonces

• at one time — en cierto momento, en cierta época

• this is neither the time nor the place to discuss it — este no es ni el momento ni el lugar oportuno para hablar de eso

• at the present time — actualmente, en la actualidad

• at the proper time — en el momento oportuno

• at the same time — (=simultaneously) al mismo tiempo, a la vez; (=even so) al mismo tiempo, por otro lado

• until such time as he agrees — hasta que consienta

• at that time — por entonces, en aquel entonces, en aquella época

• at this particular time — en este preciso momento

• at this time of the year — en esta época del año

• to arrive ahead of time — llegar temprano

• at any time of the day or night — en cualquier momento or a cualquier hora del día o de la noche

• to be 30 minutes behind time — llevar 30 minutos de retraso

• it's coffee time — es la hora del café

• at this time of day — a esta hora

• it's time for the news — es (la) hora de las noticias

• let me know in good time — avíseme con anticipación

• have you got the (right) time? — ¿tiene la hora (exacta)?

• Greenwich mean time — hora f de Greenwich

• we were just in time to see it — llegamos justo a tiempo para verlo

• a watch that keeps good time — un reloj muy exacto

• just look at the time! — ¡fíjate qué hora es ya!, ¡mira qué tarde es!

• what time do you make it?, what do you make the time? — ¿qué hora es or tiene?

• to be on time — [person] ser puntual, llegar puntualmente; [train, plane] llegar puntual

• to tell the time — [clock] dar la hora; [child] saber decir la hora

• to be ahead of one's time — adelantarse a su época

• that was all before my time — todo eso fue antes de mis tiempos

• to be behind the times — [person] estar atrasado de noticias; [thing, idea] estar fuera de moda, haber quedado anticuado

• how times change! — ¡cómo cambian las cosas!

• in times to come — en tiempos venideros

• times were hard — fueron tiempos duros

• to keep abreast of or up with the times — ir con los tiempos, mantenerse al día

• the times we live in — los tiempos en que vivimos

• in modern times — en tiempos modernos

• to move with the times — ir con los tiempos, mantenerse al día

• in olden times, in times past — en otro tiempo, antiguamente

• time was when... — hubo un tiempo en que...

to have a bad or rough or thin time (of it) — pasarlo mal, pasarlas negras

• to have a good time — pasarlo bien, divertirse

• we had a high old time * — lo hemos pasado en grande *

• we have a lovely time — lo pasamos la mar de bien *

• have a nice time! — ¡que lo pases/paséis etc bien!

• time after time, time and again — repetidas veces, una y otra vez

• to carry three boxes at a time — llevar tres cajas a la vez

for weeks at a time — durante semanas enteras or seguidas

• each time, every time — cada vez

• the first time I did it — la primera vez que lo hice

• last time — la última vez

• many times — muchas veces

• next time — la próxima vez, a la próxima (esp LAm)

• the second time round — (=second marriage) la segunda intentona de matrimonio

• several times — varias veces

• this time — esta vez

• at various times in the past — en determinados momentos del pasado

• to beat time — marcar el compás

• in time to the music — al compás de la música

• to keep time — llevar el compás

• to get out of time — perder el compás

it's five times faster than or as fast as yours — es cinco veces más rápido que el tuyo

time and motion study N — estudio m de tiempos y movimientos

time bomb N — bomba f de relojería

time capsule N — cápsula f del tiempo

time card N — tarjeta f de registro horario

time check N — (Sport) control m de tiempos

time clock N — reloj m registrador, reloj m de control de asistencia

time deposit N — (US) depósito m a plazo

time difference N — diferencia f horaria

time exposure N — (Phot) exposición f

time frame N — margen m de tiempo

time fuse N — temporizador m, espoleta f graduada, espoleta f de tiempo

time lag N — (=delay) retraso m; (=lack of synchronization) desfase m

time limit N — plazo m, límite m de tiempo; (=closing date) fecha f tope

time loan N — (US) préstamo m a plazo fijo

time lock N — cerradura f de tiempo

time machine N — máquina f de transporte a través del tiempo

time management N — gestión f del tiempo

time management consultant N — consultor(a) m / f de gestión del tiempo

time management course N — curso m de gestión del tiempo

time management skills NPL — técnicas fpl de gestión del tiempo

time management training N — formación f en gestión del tiempo

time off N — (=free time) tiempo m libre

time out N — (esp US) (Sport) (also fig) tiempo m muerto

time payment N — (US) pago m a plazos

time saver N —

time sheet N — = time card

time signal N — señal f horaria

time signature N — (Mus) compás m, signatura f de compás

time slice N — fracción f de tiempo

time slot N — franja f horaria

time span N — periodo m de tiempo

time switch N — interruptor m horario

time trial N — (Cycling) prueba f contra reloj, contrarreloj f

time warp N — salto m en el tiempo, túnel m del tiempo

time zone N — huso m horario

as time goes by o passes — a medida que pasa el tiempo, con el paso or el correr del tiempo

at this point o moment in time — en este momento, en el momento presente

time and tide wait for no man — el tiempo pasa inexorablemente; (before n) < travel> en el tiempo

time machine — máquina f del tiempo

to make time for something — hacer(se)* or encontrar* tiempo para algo

to make time — ( hurry) (AmE colloq) darse* prisa, apurarse (AmL)

it takes time to get used to the climate — lleva or toma tiempo acostumbrarse al clima

to take one's time: just take your time tómate todo el tiempo que necesites or quieras; you took your time! cómo has tardado!; to buy time ganar tiempo; to have a lot of/no time for somebody/something: I have no time for people like her no soporto a la gente como ella; I've got a lot of time for him me cae muy bien; to have time on one's hands: I had time on my hands me sobraba el tiempo; to play for time — tratar de ganar tiempo

they lived in Paris for a time/for a long time — vivieron un tiempo/mucho tiempo or muchos años en París

long time no see! — (colloq) tanto tiempo (sin verte)!

for some considerable time o for quite some time now there have been rumors that... — hace ya bastante tiempo que se rumorea que...

cooking time — tiempo m de cocción

your time's up — se te (or les etc) ha acabado el tiempo

to serve o (colloq) do time — cumplir una condena, estar* a la sombra (fam)

all the time — ( constantly) constantemente; ( the whole period) todo el tiempo

in time — ( early enough) a tiempo; ( eventually) con el tiempo

in no time (at all) — rapidísimo, en un abrir y cerrar de ojos, en un santiamén

what's your fastest time over 400m? — ¿cuál es tu mejor tiempo or marca en los 400 metros?

to take o (BrE also) have time off — tomarse tiempo libre

at one time — en una época or un tiempo, en otros tiempos

in times of crisis — en épocas or tiempos de crisis

there was a time when o time was when... — hubo un tiempo cuando...

to be ahead of one's time: he's ahead/he was ahead of his time se ha adelantado/se adelantó a su época; to be behind the times \<\<ideas\>\> ser* anticuado, estar* desfasado; \<\<person\>\> estar* atrasado de noticias (fam); to keep up with o abreast of the times — mantenerse* al día

that was before your time — eso fue antes de que tú nacieras (or empezaras a trabajar aquí etc)

the time is ten minutes to ten — son las diez menos diez minutos, son diez para las diez (AmL exc RPl)

to be able to tell the time o (AmE also) tell time — saber* (decir) la hora

British Summer Time — horario m de verano

Eastern Standard Time — ( in US) hora f de la costa atlántica

not to give somebody the time of day — no darle* a algn ni la hora

to pass the time of day (with somebody): now she never even passes the time of day with me ahora ni siquiera me saluda; we passed the time of day charlamos un ratito; (before n) time switch temporizador m; time zone — huso m horario

time FOR something/to + INF: we have to arrange a time for the next meeting tenemos que fijar una fecha y hora para la próxima reunión; is it time to go yet? ¿ya es hora de irse?; it's time you left o you were leaving es hora de que te vayas; at breakfast time — a la hora del desayuno

by that o this time we were really worried — para entonces ya estábamos preocupadísimos

it's high time somebody did something — ya es hora or ya va siendo hora de que alguien haga algo

to die before one's time — morir* tempranamente or prematuramente

I've been there many a time o many times — he estado allí en numerosas ocasiones or muchas veces

let's leave it for another o some other time — dejémoslo para otro momento

you paid (the) last time — la última vez or la otra vez pagaste tú

let's try one more time — probemos otra vez or una vez más

about time: it's about time someone told him ya es hora or ya va siendo hora de que alguien se lo diga; I've finished - and about time too! he terminado - ya era hora!; ahead of time: the first stage was completed ahead of time la primera fase se terminó antes de tiempo; any time: come any time ven cuando quieras or en cualquier momento; call me any time between nine and eleven llámame a cualquier hora entre las nueve y las once; I'd rather work for Mary any time yo prefiero trabajar para Mary, toda la vida (y cien años más); they should be here any time (now) en cualquier momento llegan, deben de estar por llegar de un momento al otro; at a time: four at a time de cuatro en cuatro or (AmL tb) de a cuatro; one at a time! de a uno!, uno por uno! or uno por vez!; I can only do one thing at a time sólo puedo hacer una cosa a la or por vez; for months at a time durante meses enteros; at the same time ( simultaneously) al mismo tiempo; ( however) (as linker) al mismo tiempo, de todas formas; at times a veces; at this time (AmE) ahora, en este momento; every time: I make the same mistake every time! siempre cometo el mismo error!; gin or whisky? - give me whisky every time! ¿ginebra or whisky? - para mí whisky, toda la vida; every o each time (as conj) ( whenever) cada vez; from time to time de vez en cuando; on time ( on schedule): the buses hardly ever run on time los autobuses casi nunca pasan a su hora or puntualmente; she's never on time nunca llega temprano, siempre llega tarde; time after time o time and (time) again — una y otra vez

have a good time! — que te diviertas (or que se diviertan etc)!, que lo pases (or pasen etc) bien!

don't give me a hard time — (esp AmE) no me mortifiques

to mark time — ( march on the spot) marcar* el paso; ( make no progress) hacer* tiempo; (before n)

time signature — llave f de tiempo

it's four times bigger — es cuatro veces más grande; (before n)

times table — tabla f de multiplicar